Programming language semantics - PDFSEARCH.IO - Document Search Engine

Programming language semantics
Results: 372

#	Item
221	Intrinsic Constraints on Language: Grammar and Hermeneutics Mark H. Bickhard Mark H. Bickhard Department of Psychology Add to Reading List Source URL: www.lehigh.edu Language: English - Date: 2003-02-06 12:07:59 Philosophy of language Semantics Grammar Programming paradigms Language acquisition Proposition Predicate Logic programming SQL Linguistics Science Logic
222	JOURNAL OF COMPUTER AND SYSTEM SCIENCES Add to Reading List Source URL: courses.engr.illinois.edu Language: English - Date: 2013-01-02 17:11:04 Programming language theory Data types Functional programming Type system Polymorphism Denotational semantics Hindley–Milner Type variable Unification Software engineering Type theory Computing
223	Research Challenges in Domain-specific Modeling • • • • Add to Reading List Source URL: www.dsmforum.org Language: English - Date: 2013-10-31 11:51:54 Technical communication Usability Semantics Domain-specific modeling Programming language Conceptual model Software Ethology ATLAS Transformation Language Unified Modeling Language Software engineering Human–computer interaction
224	Procesamiento del Lenguaje Natural, Revista nº 54, marzo de 2015, pp[removed]recibido[removed]revisado[removed]aceptado[removed]Negation and Speculation Detection in Clinical and Review Texts1 Detección de la Negac Add to Reading List Source URL: rua.ua.es Language: English - Date: 2015-03-04 06:51:04 Natural language processing Data mining Cognition Semantics Rhetoric Logic programming Text mining Negation Fact Science Computational linguistics Linguistics
225	Modeling Multi-Agent Domains in an Action Languages: an Empirical Study Using C Tran Cao Son and Enrico Pontelli Dept. Computer Science New Mexico State University tson \| epontell @cs.nmsu.edu Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2013-06-12 21:22:45 Science Multi-agent systems Epistemology Frame problem Knowledge representation Agent-based model Stable model semantics Function Action description language Artificial intelligence Logic programming Mathematics
226	Static and Dynamic Semantics of the Web Add to Reading List Source URL: web.media.mit.edu Language: English - Date: 2001-12-28 14:17:29 Cross-platform software HTML World Wide Web JavaScript Procedural programming languages Programming language Object-oriented programming Semantic Web Web page Computing Software engineering Computer programming
227	Proof Obligations Preserving Compilation Extended abstract Gilles Barthe1 and Tamara Rezk1 and Ando Saabas2 1 2 Add to Reading List Source URL: set.ee Language: English - Date: 2005-11-02 06:27:15 Applied mathematics Formal methods Mathematical logic Program logic Predicate transformer semantics Assertion Stack-oriented programming language Postcondition Subroutine Theoretical computer science Mathematics Logic in computer science
228	Coeffects: A calculus of context-dependent computation Tomas Petricek Dominic Orchard Alan Mycroft Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-06-16 05:18:39 Programming language semantics Denotational semantics Logic in computer science Curvature Free variables and bound variables Vector space Lambda calculus Monad Mathematics Algebra Models of computation
229	Static and Dynamic Semantics of the Web Christopher Fry Clear Methods, 1 Broadway, Cambridge, MA Mike Plusch Clear Methods, 1 Broadway, Cambridge, MA Add to Reading List Source URL: web.media.mit.edu Language: English - Date: 2001-12-28 14:17:44 World Wide Web Programming language JavaScript Knowledge representation and reasoning Markup language Website Semantics Web page Data model Computing Software engineering Semantic Web
230	194 Department of Computer and Information Science, Linköping University[removed]Generation of Efficient Compilers and Interpreters from Natural Semantics Specifications Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2003-05-18 19:21:52 Computing Programming language semantics Formal methods Denotational semantics Operational semantics Semantics of programming languages Programming language Prolog Compiler-compiler Theoretical computer science Software engineering Logic in computer science

UPDATE